Generalizable Kleene Logics
نویسندگان
چکیده
منابع مشابه
Kleene Algebras, Regular Languages and Substructural Logics
We introduce the two substructural propositional logics KL, KL, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a variant thereof. We also prove strong completeness for language models, where each logic comes with a different interpretation. We show that for both logics the...
متن کاملNon-associative Kleene Algebra and Temporal Logics
In earlier papers we have presented algebraic semantics of CTL and CTL*. However, they were not fully satisfactory. In particular, the treatment of the iteration operators U (“Until”) and W (“While”) employed ad-hoc definitions with general recursion, and their interrelation in CTL* and CTL was not set up in a very algebraic way. In this paper we use a new operator with which U and W can be des...
متن کاملSynchronous Kleene Algebra vs. Concurrent Kleene Algebra
In this year’s CONCUR conference Concurrent Kleene Algebra (CKA) is presented as a general formalism for reasoning about concurrent programs. Also recently Synchronous Kleene Algebra (SKA) was investigated by this author with the purpose of representing and reasoning about actions/programs that have a notion of concurrency in the style of synchrony of the SCCS calculus. CKA has, at first sight,...
متن کاملKleene Algebra
3 Dioids 4 3.1 Join Semilattices . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Join Semilattices with an Additive Unit . . . . . . . . . . . . 5 3.3 Near Semirings . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.4 Variants of Dioids . . . . . . . . . . . . . . . . . . . . . . . . 6 3.5 Families of Nearsemirings with a Multiplicative Unit . . . . . 8 3.6 Families of Nearsemirin...
متن کاملBuilding Generalizable Agents
Towards bridging the gap between machine and human intelligence, it is of utmost importance to introduce environments that are visually realistic and rich in content. In such environments, one can evaluate and improve a crucial property of practical intelligent systems, namely generalization. In this work, we build House3D, a rich, extensible and efficient environment that contains 45,622 human...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1969
ISSN: 0002-9939
DOI: 10.2307/2035654